#ifndef LIB_KERNEL_STDDIOKERNEL_H
#define LIB_KERNEL_STDDIOKERNEL_H

typedef char* va_list;
void printk(const char* format, ...);
#endif // LIB_KERNEL_STDDIOKERNEL_H
